Nuprl Definition : do-apply
11,40
postcript
pdf
do-apply(
f
;
x
) == outl(
f
(
x
))
latex
Definitions
outl(
x
)
,
f
(
a
)
FDL editor aliases
do-apply
origin